* configure.in: Traverse the argument list without destroying it;
authorJim Blandy <jimb@redhat.com>
Sat, 29 May 1993 20:07:50 +0000 (20:07 +0000)
committerJim Blandy <jimb@redhat.com>
Sat, 29 May 1993 20:07:50 +0000 (20:07 +0000)
commit3517b2e9e10ae252f8563b483cfebe0bcdfd5da6
tree78bd710ddf97e865da569789087844a0b846fa0c
parentafb89aea69a969185068fd5dba327b9808fa08c2
* configure.in: Traverse the argument list without destroying it;
don't use shift.  It turns out that "set - ${saved_arguments}"
doesn't work portably.
configure1.in